Eléments de l'association
|
List of bibliographic references
Number of relevant bibliographic references: 2.Ident. | Authors (with country if any) | Title |
---|---|---|
000424 | Peter Baumgartner [Australie] ; Joshua Bax [Australie] ; Uwe Waldmann [Allemagne] | Beagle – A Hierarchic Superposition Prover |
000A66 | Peter Baumgartner [Australie] ; Joshua Bax [Australie] ; Uwe Waldmann [Allemagne] | Finite Quantification in Hierarchic Theorem Proving |
This area was generated with Dilib version V0.6.33. |